Computer Science

Module	LV Type	CP	LV	Dates	Examination
Advanced Internet Technology	Fach-/Modulprüfung	6	515003
Advanced Network Security	Fach-/Modulprüfung	6	521934
Advanced Network Security	Vorlesung/Übung		521932	Do 10:30-12:00 BS II (2131\|102) (×15) Fr 08:30-10:00 H05 (1385\|105) (×11)
Algorithmische Kryptographie	Fach-/Modulprüfung	6	516962
Algorithmische Lerntheorie	Fach-/Modulprüfung	6	515276
Algorithmische Modelltheorie I	Fach-/Modulprüfung	8	515396
Analyse von Algorithmen	Fach-/Modulprüfung	8	515508
Communication Systems Engineering	Fach-/Modulprüfung	6	514934
Communication Systems Engineering	Vorlesung/Übung		510524	Mo 14:30-16:00 AH I (2350\|028) (×11) Mo 14:30-16:00 AH IV (2354\|030) (×1) Mi 10:30-12:00 AH I (2350\|028) (×10) Do 10:30-12:00 AH I (2350\|028) (×8)
Computer Vision 2	Fach-/Modulprüfung	6	516913
Computer Vision 2	Fach-/Modulprüfung		516993
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work	Fach-/Modulprüfung	4	519437
Designing Interactive Systems I	Fach-/Modulprüfung	6	514546
	Vorlesung/Übung		510869	Di 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×13) Mi 09:30-12:00 Großer B-IT Raum (2356\|053.2) (×13)
	Vorlesung/Übung		512284	Di 13:00-15:30 Extern (×12) Di 15:45-17:15 Extern (×13)
	Fach-/Modulprüfung		517530
Distributed Ledger Technology	Fach-/Modulprüfung	4	557380
Distributed Ledger Technology	Vorlesung/Übung		514235	Mi 12:30-15:00 Großer B-IT Raum (2356\|053.2) (×15)	Mi 05.03.2025 12:00-18:00 Extern
Erfüllbarkeitsüberprüfung	Fach-/Modulprüfung	6	515602
Erfüllbarkeitsüberprüfung	Vorlesung/Übung		511645	Mo 08:30-10:00 AH I (2350\|028) (×13) Mo 16:30-17:15 5056 (2356\|056) (×14) Di 08:30-10:00 AH V (2356\|050) (×13)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	518548
Fundamentals of Business Process Management	Fach-/Modulprüfung	6	517159
	Vorlesung		513422	Mi 16:30-18:00 5056 (2356\|056) (×15)
	Übung		513423	Fr 10:30-12:00 PPS H2 (2315\|001) (×14)
Geometrieverarbeitung	Fach-/Modulprüfung	6	519438
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	519091
	Vorlesung		521729	Mi 10:30-12:00 AH III (2350\|314.1) (×13) Fr 12:30-14:00 AH III (2350\|314.1) (×9)
	Übung		521730	Mo 12:30-14:00 AH I (2350\|028) (×14)
Grundlagen der Computergraphik	Fach-/Modulprüfung	6	514569
	Vorlesung		512062	Di 12:30-14:00 AH V (2356\|050) (×14) Do 10:30-12:00 AH V (2356\|050) (×15)
	Übung		510608	Do 12:30-14:00 AH I (2350\|028) (×15)
High-Performance Computing	Fach-/Modulprüfung	6	515017
High-Performance Computing	Vorlesung/Übung		512750	Mo 10:30-12:00 H06 (1385\|004) (×13) Do 10:30-12:00 H05 (1385\|105) (×8)
High-performance Matrix Computations	Fach-/Modulprüfung	6	518939		Do 27.03.2025 14:30-16:00 Eph (1090\|321)
High-performance Matrix Computations	Vorlesung/Übung		520981	Mi 12:30-14:00 BS 218 (2130\|218) (×15) Fr 10:30-12:00 H10 (1385\|217) (×14)
Implementation of Databases	Fach-/Modulprüfung	6	516854
Implementation of Databases	Vorlesung/Übung		511755	Mo 08:30-10:00 AH V (2356\|050) (×1) Mo 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×11) Fr 08:30-10:00 AH I (2350\|028) (×12)
Industrial Network Security	Fach-/Modulprüfung	6	516949
	Vorlesung		513657	Di 10:30-12:00 AH V (2356\|050) (×10) Mi 10:30-12:00 AH V (2356\|050) (×12) Mi 13:00-14:00 Extern (×1)
	Übung		514453	Do 10:30-12:00 AH II (2350\|111) (×6)
Infinite Computations and Games	Fach-/Modulprüfung	6	515676
	Vorlesung		511721	Mo 12:30-14:00 5056 (2356\|056) (×14) Do 12:30-14:00 5056 (2356\|056) (×12)
	Übung		511488	Mo 12:30-14:00 5056 (2356\|056) (×12) Di 13:00-14:00 AH IV (2354\|030) (×1) Fr 13:00-14:00 AH IV (2354\|030) (×1)
Introduction to Algorithmic Differentiation	Fach-/Modulprüfung	6	518526
Introduction to Algorithmic Differentiation	Vorlesung/Übung		510858	Di 10:30-12:00 AH III (2350\|314.1) (×14) Mi 10:30-12:00 AH IV (2354\|030) (×15)
iOS Application Development	Fach-/Modulprüfung	6	517611
	Vorlesung		512004	Mo 12:30-14:00 Extern (×15) Di 10:30-12:00 Extern (×14)
	Fach-/Modulprüfung		519215
IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit	Fach-/Modulprüfung	6	516310
IT-Sicherheit 2 - Computer Security	Fach-/Modulprüfung	6	518937
Komplexitätstheorie	Fach-/Modulprüfung	6	515647
Künstliche Intelligenz	Fach-/Modulprüfung	6	514964
	Vorlesung/Übung		511285	Mi 14:30-16:00 AH V (2356\|050) (×11) Do 18:30-20:00 AH V (2356\|050) (×12) Fr 08:30-10:00 AH V (2356\|050) (×13)
	Fach-/Modulprüfung		516718
Logik und Spiele	Fach-/Modulprüfung	8	517305
Logik und Spiele	Fach-/Modulprüfung	8	517304
Model Checking	Fach-/Modulprüfung	6	518530
	Vorlesung		521373	Mi 12:30-14:00 AH I (2350\|028) (×12) Do 10:30-12:00 AH III (2350\|314.1) (×14)
	Übung		521372	Mo 12:30-14:00 5056 (2356\|056) (×1) Di 10:45-13:15 5056 (2356\|056) (×1) Do 08:30-10:00 AH III (2350\|314.1) (×10) Do 09:55-12:30 5056 (2356\|056) (×1)
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	516275
Modellbasierte Softwareentwicklung	Fach-/Modulprüfung	6	519435
Modellbasierte Softwareentwicklung	Vorlesung/Übung		513782	Di 14:30-16:00 AH I (2350\|028) (×9) Mi 14:30-16:00 AH I (2350\|028) (×7) Do 10:30-12:00 AH VI (2356\|051) (×7)
Parametrisierte Algorithmen	Fach-/Modulprüfung	8	518531
Physikalisch-Basierte Animation	Fach-/Modulprüfung	6	519462
	Vorlesung/Übung		511064	Mi 10:30-12:00 AH VI (2356\|051) (×15) Fr 10:30-12:00 5056 (2356\|056) (×14)
	Fach-/Modulprüfung		518622
Probabilistic Programming	Fach-/Modulprüfung	4	515534
Reinforcement Learning and Learning-based Control	Fach-/Modulprüfung	6	518986
Software-Qualitätssicherung	Fach-/Modulprüfung	6	518510
Statistische Methoden zur Verarbeitung natürlicher Sprache	Fach-/Modulprüfung	8	515381
Virtuelle Realität	Fach-/Modulprüfung	6	514995
	Vorlesung/Übung		511048	Mo 14:30-16:00 AH VI (2356\|051) (×14) Di 10:30-12:00 AH VI (2356\|051) (×13)
	Fach-/Modulprüfung		517764